passthrough: use tasklet to deliver interrupts
authorKeir Fraser <keir.fraser@citrix.com>
Tue, 28 Jul 2009 15:28:21 +0000 (16:28 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Tue, 28 Jul 2009 15:28:21 +0000 (16:28 +0100)
commit7ee1d0108a85da052767484255d631352b184fca
tree18ea83ec4eafb6a09933c5aca970789c27750ed0
parentc88235741e1d230a9dab1be55ee87547b9980f65
passthrough: use tasklet to deliver interrupts

This patch enables delivery of interrupts even if the VCPU#0 is
halted.

Note: the changes to softirq.{ch} are needed for ia64 build.

Signed-off-by: Kouya Shimura <kouya@jp.fujitsu.com>
xen/arch/ia64/vmx/vmx_fault.c
xen/arch/x86/hvm/svm/intr.c
xen/arch/x86/hvm/vmx/intr.c
xen/common/softirq.c
xen/drivers/passthrough/io.c
xen/drivers/passthrough/pci.c
xen/include/xen/hvm/irq.h
xen/include/xen/softirq.h